University of Koblenz and Landau - PDFSEARCH.IO - Document Search Engine

University of Koblenz and Landau
Results: 32

#	Item
11	Organizing Resources on Tagging Systems using T-ORG Rabeeh Abbasi1, Steffen Staab1 and Philipp Cimiano2 1 ISWEB, University of Koblenz-Landau, Germany http://isweb.uni-koblenz.de Add to Reading List Source URL: www.kde.cs.uni-kassel.de Language: English - Date: 2007-05-31 05:12:20
12	Virtual Field Research with Social Media: A Pilot Case of Biometeorology Christoph Kling, Sergej Sizov, Steffen Staab University of Koblenz-Landau, Germany Institute for Web Science and Technologies - WeST {ckling,sizov, Add to Reading List Source URL: www.websci11.org Language: English
13	Reusing Proofs when Program Verification Systems are Modified Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Abstract Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-02-04 15:10:30
14	Proof Reuse for Deductive Program Verification Bernhard Beckert and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2014-04-20 12:37:51
15	– Discussion Paper – Must Program Verification Systems and Calculi Be Verified? Bernhard Beckert and Vladimir Klebanov University of Koblenz-Landau Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-02-04 15:10:30
16	GI-Edition Gesellschaft für Informatik e.V. (GI) publishes this series in order to make available to a broad public recent findings in informatics (i.e. computer science and information systems), to document conference Add to Reading List Source URL: subs.emis.de Language: English - Date: 2014-03-12 10:34:49 E-participation Politics Sociology Structure International Federation for Information Processing UNESCO University of Koblenz and Landau
17	INFLUENCES ON THE STRUCTURE OF SCIENTIFIC PROBLEM-SOLVING PROCESSES Desiree Heine¹ and Alexander Kauertz¹ ¹ University of Koblenz-Landau, Germany Abstract: In science education a typical learning goal is to solve prob Add to Reading List Source URL: www.esera.org Language: English - Date: 2014-01-13 03:36:33
18	EFFECTS OF TEACHER INTERVENTION ON LEARNING PROCESSES OF PRIMARY SCHOOL STUDENTS IN PHYSICS Andreas Trautmann¹ and Alexander Kauertz¹ ¹ University of Koblenz-Landau, Germany Abstract: In science education a typical le Add to Reading List Source URL: www.esera.org Language: English - Date: 2014-02-04 05:24:10
19	Symposium on How NGOs Can Use Environmental Communication Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:45:47
20	PDF Document Add to Reading List Source URL: www2014.wwwconference.org Language: English - Date: 2014-11-16 18:19:36 Web Science Trust KAIST University of Koblenz and Landau World Wide Web Higher education Humanities Academia Web Science Massachusetts Institute of Technology University of Southampton

UPDATE